Mike Hinchey：在 Z-Library 上搜索

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

捐款

书籍 (19)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

Experience from the DARPA Urban Challenge

Springer London

Christian Berger, Mike Hinchey, Christopher Rouff (auth.), Christopher Rouff, Mike Hinchey (eds.)

年:

2012

语言:

english

文件:

PDF, 8.08 MB

0 / 0

english, 2012

Experience from the DARPA Urban Challenge

Springer London

Christian Berger, Mike Hinchey, Christopher Rouff (auth.), Christopher Rouff, Mike Hinchey (eds.)

年:

2012

语言:

english

文件:

PDF, 9.31 MB

0 / 0

english, 2012

Conquering Complexity

Springer

Mike Hinchey, Lorcan Coyle

年:

2012

语言:

english

文件:

PDF, 10.03 MB

0 / 0

english, 2012

Conquering Complexity

Springer-Verlag London

José Luiz Fiadeiro (auth.), Mike Hinchey, Lorcan Coyle (eds.)

年:

2012

语言:

english

文件:

PDF, 9.54 MB

0 / 0

english, 2012

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)

年:

2011

语言:

english

文件:

PDF, 3.76 MB

0 / 0

english, 2011

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)

年:

2011

语言:

english

文件:

PDF, 4.54 MB

0 / 4.0

english, 2011

Ethical and Legal Aspects of Computing

Ian Mackie & Samson Abramsky & Chris Hankin & Mike Hinchey & Dexter C. Kozen & Hanne Riis Nielson & Steven S. Skiena & Iain Stewart & Joseph Migga Kizza & Roy Crole & Elizabeth Scott & Gerard O’Regan

年:

2024

语言:

english

文件:

PDF, 5.90 MB

0 / 4.0

english, 2024

Autonomy Requirements Engineering for Space Missions

Springer International Publishing

Emil Vassev, Mike Hinchey (auth.)

年:

2014

语言:

english

文件:

PDF, 4.29 MB

0 / 0

english, 2014

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.)

年:

2012

语言:

english

文件:

PDF, 5.19 MB

0 / 0

english, 2012

Provably Correct Systems

Springer International Publishing

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)

年:

2017

语言:

english

文件:

PDF, 9.41 MB

0 / 0

english, 2017

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Springer International Publishing

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (eds.)

年:

2017

语言:

english

文件:

PDF, 23.72 MB

0 / 0

english, 2017

Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, ... in Information and Communication Technology)

Springer

Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf

年:

2010

语言:

english

文件:

PDF, 5.41 MB

0 / 0

english, 2010

Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers

Springer-Verlag Berlin Heidelberg

Larry Kerschberg, Wooju Kim, Anthony Scime (auth.), Walt Truszkowski, Mike Hinchey, Chris Rouff (eds.)

年:

2003

语言:

english

文件:

PDF, 7.80 MB

0 / 0

english, 2003

Biologically-Inspired Collaborative Computing: IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8–9, 2008, Milano, Italy

Springer US

Marco Dorigo (auth.), Mike Hinchey, Anastasia Pagnoni, Franz J. Rammig, Hartmut Schmeck (eds.)

年:

2008

语言:

english

文件:

PDF, 4.31 MB

0 / 0

english, 2008

Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Marilyn Wolf, Bernd Kleinjohann, Lisa Kleinjohann (auth.), Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf (eds.)

年:

2010

语言:

english

文件:

PDF, 7.57 MB

0 / 0

english, 2010

Nature of Computation and Communication: International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

Springer International Publishing

Phan Cong Vinh, Emil Vassev, Mike Hinchey (eds.)

年:

2015

语言:

english

文件:

PDF, 19.65 MB

0 / 0

english, 2015

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.)

年:

2012

语言:

english

文件:

PDF, 7.74 MB

0 / 0

english, 2012

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)

年:

2011

语言:

english

文件:

PDF, 3.87 MB

0 / 0

english, 2011

Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers

Springer-Verlag Berlin Heidelberg

Larry Kerschberg, Wooju Kim, Anthony Scime (auth.), Walt Truszkowski, Mike Hinchey, Chris Rouff (eds.)

年:

2003

语言:

english

文件:

PDF, 9.14 MB

0 / 0

english, 2003